The paper presents an extension of the metaphysics of self-subsisting structures set out in a companion paper to the realm of non-relativistic quantum physics. The discussion is centered around a Pure Shape Dynamics model representing a relational implementation of a de Broglie-Bohm N-body system. An interpretation of this model in terms of self-subsisting structures is proposed and assessed against the background of the debate on the metaphysics of quantum physics, with a particular emphasis on the nature of the wave function. (...) The analysis shows that elaborating an appropriate Leibnizian/Machian metaphysics of the quantum world requires a substantial revision of the notion of world-building relation. (shrink)

Commonsense reasoning is one of the main open problems in the field of Artificial Intelligence (AI) while, on the other hand, seems to be a very intuitive and default reasoning mode in humans and other animals. In this talk, we discuss the different paradigms that have been developed in AI and Computational Cognitive Science to deal with this problem (ranging from logic-based methods, to diagrammatic-based ones). In particular, we discuss - via two different case studies concerning commonsense categorization and knowledge (...) invention tasks - how cognitively inspired heuristics can help (both in terms of efficiency and efficacy) in the realization of intelligent artificial systems able to reason in a human-like fashion, with results comparable to human-level performances. (shrink)

An ontology of Leibnizian relationalism, consisting in distance relations among sparse matter points and their change only, is well recognized as a serious option in the context of classical mechanics. In this paper, we investigate how this ontology fares when it comes to general relativistic physics. Using a Humean strategy, we regard the gravitational field as a means to represent the overall change in the distance relations among point particles in a way that achieves the best combination of being simple (...) and being informative. (shrink)

The extended mind thesis claims that at least some cognitive processes extend beyond the organism’s brain in that they are constituted by the organism’s actions on its surrounding environment. A more radical move would be to claim that social actions performed by the organism could at least constitute some of its mental processes. This can be called the socially extended mind thesis. Based on the notion of affordance as developed in the ecological psychology tradition, I defend the position that perception (...) extends to the environment. Then I will expand the notion of affordance to encompass social affordances. Thus, perception can in some situations also be socially extended. (shrink)

Information is a central notion for cognitive sciences and neurosciences, but there is no agreement on what it means for a cognitive system to acquire information about its surroundings. In this paper, we approximate three influential views on information: the one at play in ecological psychology, which is sometimes called information for action; the notion of information as covariance as developed by some enactivists, and the idea of information as minimization of uncertainty as presented by Shannon. Our main thesis is (...) that information for action can be construed as covariant information, and that learning to perceive covariant information is a matter of minimizing uncertainty through skilled performance. We argue that the agent’s cognitive system conveys information for acting in an environment by minimizing uncertainty about how to achieve her intended goals in that environment. We conclude by reviewing empirical findings that support our view and by showing how direct learning, seen as instance of ecological rationality at work, is how mere possibilities for action are turned into embodied know-how. Finally, we indicate the affinity between direct learning and sense-making activity. (shrink)

This article is intended to examine the structure and scope of the argumentation drawn in Metaphysics Γ 4, 1006a18-b34. As we shall see, though this passage does not bring a complete proof of the Principle of Non-Contradiction, it corresponds to its first step, which consists in determining the conditions of meaning necessary for discourse. That passage encloses in nuce the reasons which underlie Aristotelian conviction con- cerning the conventional nature of names and also brings to light the way this conven- (...) tional nature of names must be understood according to Aristotle. (shrink)

Among the tools of philosophical work, the dialogue, as form of live "transaction" between two or more persons, seems to have its beginning and its end with Socrates. Along the subsequent development of our philosophical tradition the dialogue reappears only as literary genre. The essay aims to suggest that the live philosophical dialogue, if offered in new forms as a distributed social practice arranged and supported by the professional skills of philosopher, shows some promise of widening the boundaries of the (...) examined life. (shrink)

On the fog of the misunderstanding of the truth, the choking with the will begin. We can use the above sentence in order to generalize the terms werra (Frankish–German), bellum (Latin) and polemos (Greek), whose meanings hints in the draw of fighting. On the early stage of the beginning of all the times, this fog has blinded in the driving (i.e. conscious) between the movement of the natural human being and the actions of the man, making many generations believe that (...) the human psychology is not based in any summum bonum but in some summum malum, as Thomas Hobbes does on his book Leviathan [Ho]. (shrink)

The argument from illusion/hallucination have been proposed many times as supporting the strong conclusion that we are always perceiving directly sense-data. In Sense & Sensibilia, Austin argues that this argument is based on a “mass of seductive (mainly verbal) fallacies”. In this paper, I argue that Austin's argumentative moves to deconstruct the argument from illusion is better understood if they are seen as due to his implicit commitment to some disjunctivist conception of perception. His considerations should be taken as a (...) depth discussion about how to conceive perception. If we conceive the perceptual capacity disjunctively, even the weaker conclusion that we sometimes perceive sense-data does not hold. In response to Austin, Ayer claimed that the strong conclusion of the argument from illusion could be sustained by the method of the possibility of error. I argue that this method alone does not sustain that conclusion and the controversy turns back to the conflict between different conceptions of perception. The argument from illusion is philosophically interesting by putting in evidence the problem of how the perceptual capacity should be articulated and conceived. Although matters of fact are relevant to this question, they alone do not decide it. (shrink)

The aim of this article is to identify some elements of Leibniz's criticism of Hobbes which could shed some light on the reasons that conduced Leibniz to adopt his intentional conception of truth. More specifically, I will try to identify some conclusions that Leibniz draws concerning the Hobbesian conception of truth, and then, to identify, on the basis of those conclusions, what Leibniz thought to be the way of preventing the errors he ascribes to Hobbes.

In this paper we advocate the thesis that qualia are tropes (or qualitons), and not (universal) properties. The main advantage of the thesis is that we can accept both the Wittgensteinian and Sellarsian assault on the given and the claim that only subjective and private states can do justice to the qualitative character of experience. We hint that if we take qualia to be tropes, we dissolve the problem of inverted qualia. We develop an account of sensory concept acquisition that (...) takes the presence of qualia as an enabling condition for learning. We argue that qualia taken to be qualitons are part of our mechanism of sensory concept acquisition. (shrink)

Is ruling out the possibility that one is dreaming a requirement for a knowledge claim? In “Philosophical Scepticism and Everyday Life” (1984), Barry Stroud defends that it is. In “Others Minds” (1970), John Austin says it is not. In his defense, Stroud appeals to a conception of objectivity deeply rooted in us and with which our concept of knowledge is intertwined. Austin appeals to a detailed account of our scientific and everyday practices of knowledge attribution. Stroud responds that what Austin (...) says about those practices is correct in relation to the appropriateness of making knowledge claims, but that the skeptic is interested in the truth of those claims. In this paper, we argue that Stroud’s defense of the alleged requirement smuggles in a commitment to a kind of internalism, which asserts that the perceptual justification available to us can be characterized independently of the circumstances in which we find ourselves. In our reading of Austin, especially of Sense & Sensibilia, he rejects that kind of internalism by an implicit commitment to what is called today a “disjunctive” view of perception. Austin says that objectivity is an aspect of knowledge, and his disjunctivism is part of an explanation of why the alleged requirement is not necessary for a knowledge claim. Since both Stroud and Austin are committed to the objectivity of knowledge, Stroud may ask which view of perceptual knowledge is correct, whether the internalist or the disjunctive. We argue that by paying closer attention to what Austin says about our practices of knowledge attribution, one can see more clearly that it is grounded not only on a conception of objectivity, but also on a conception of ourselves as information agents, a conception that is as deeply rooted as that of the objectivity of knowledge. This gives us moral and practical reasons to favor the disjunctive view of perception. (shrink)

Leibniz não raro é lembrado por seu obstinado empenho na tarefa de tentar construir uma linguagem apta a exprimir com perfeição os raciocínios humanos, linguagem a que dá o nome de Characteristica. Esta obstinação deve-se fundamentalmente à sua convição de que o progresso do conhecimento, bem como sua certeza, dependem de um amparo dos símbolos materializados a registrar fielmente os passos dos raciocínios. Neste estudo, pretende-se examinar as razões que conduziram o filósofo a esta convição à luz dos argumentos que (...) dirige contra o intuicionismo cartesiano, vale dizer, contra a tese de que os critérios de clareza e de distinção encerrariam, em última instância, as condições originárias suficientes da certeza. (shrink)

In this paper we identify and characterize an analysis of two problematic aspects affecting the representational level of cognitive architectures (CAs), namely: the limited size and the homogeneous typology of the encoded and processed knowledge. We argue that such aspects may constitute not only a technological problem that, in our opinion, should be addressed in order to build arti cial agents able to exhibit intelligent behaviours in general scenarios, but also an epistemological one, since they limit the plausibility of the (...) comparison of the CAs' knowledge representation and processing mechanisms with those executed by humans in their everyday activities. In the fi nal part of the paper further directions of research will be explored, trying to address current limitations and future challenges. (shrink)

In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis of conceptual (...) structures represented as heterogeneous proxytypes. Dual-PECCS has been experimentally assessed in a task of conceptual categorization where a target concept illustrated by a simple common-sense linguistic description had to be identified by resorting to a mix of categorization strategies, and its output has been compared to human responses. The obtained results suggest that our approach can be beneficial to improve the representational and reasoning conceptual capabilities of standard cognitive artificial systems, and –in addition– that it may be plausibly applied to different general computational models of cognition. The current version of the system, in fact, extends our previous work, in that Dual-PECCS is now integrated and tested into two cognitive architectures, ACT-R and CLARION, implementing different assumptions on the underlying invariant structures governing human cognition. Such integration allowed us to extend our previous evaluation. (shrink)

I argue that The Metaethical Moral Relativism has been being used as a form of support in order to commit desire–belief actions against Human Biology Principia. The lacking of Moral Epistemology allows me illustrate and explain practical downsides in the Ontological part of Moral Knowledge. I recommend a departure from The Biological Basis of Morality in favor to avoid contemporary misuses in the Justification of The Metaethical Moral Relativism.

The authors of *Linguistic Bodies* appeal to shared know-how to explain the social and participatory interactions upon which linguistic skills and agency rest. However, some issues lurk around the notion of shared know-how and require attention and clarification. In particular, one issue concerns the agent behind the shared know-how, a second one concerns whether shared know-how can be reducible to individual know-how or not. In this paper, I sustain that there is no single answer to the first issue; depending on (...) the case, shared know-how can belong to the participants of a social activity or to the system the participants bring forth together. In relation to the second issue, I sustain, following the authors, a non-reductive account of shared know-how. I also suggest that responsiveness to others, which is a fundamental element of shared know-how, can be extended by perceptual learning. (shrink)

”La fe y la Razón son como las dos alas con las cuales el espı́ritu humano se eleva hacia la contem- plación de la verdad”, es la metáfora que define Juan Pablo II en su encı́clica Fides et Ratio, para darnos entender que estos dos conceptos no se enfrentan entre sı́, como la mayorı́a de personas lo creen, cuando en realidad son un complemento necesario para llegar a conocer a Dios y su amor infinito.

Book Description (Blurb): Cognitive Design for Artificial Minds explains the crucial role that human cognition research plays in the design and realization of artificial intelligence systems, illustrating the steps necessary for the design of artificial models of cognition. It bridges the gap between the theoretical, experimental and technological issues addressed in the context of AI of cognitive inspiration and computational cognitive science. -/- Beginning with an overview of the historical, methodological and technical issues in the field of Cognitively-Inspired Artificial Intelligence, (...) Lieto illustrates how the cognitive design approach has an important role to play in the development of intelligent AI technologies and plausible computational models of cognition. Introducing a unique perspective that draws upon Cybernetics and early AI principles, Lieto emphasizes the need for an equivalence between cognitive processes and implemented AI procedures, in order to realise biologically and cognitively inspired artificial minds. He also introduces the Minimal Cognitive Grid, a pragmatic method to rank the different degrees of biologically and cognitive accuracy of artificial systems in order project and predict their explanatory power with respect to the natural systems taken as source of inspiration. -/- Providing a comprehensive overview of cognitive design principles in constructing artificial minds, this text will be essential reading for students and researchers of artificial intelligence and cognitive science. (shrink)

Any account of Spinoza's understanding of attribute must be able to satisfy his definition criterion; that is, it must coherently accommodate the elements involved in his definition of attribute as “what the intellect perceives of a substance as constituting its essence” (E1d4). But this is not enough. There are several available readings that satisfy this criterion and are mutually incompatible. To know what Spinoza means we must supplement his definition criterion with a criterion aiming at consistency with other principles in (...) his system. With the definition and consistency criteria in the backdrop, the aim of this paper is to offer a critical overview of the current state of the debate on Spinoza's theory of attributes. (shrink)

This paper is intended to examine Leibniz's Principle of Continuity, as well as the conditions of its application in leibnizian infinitesimal calculus, in the light of some aspects of formal language developed by Leibniz. It aims at evaluating whether, and to what extent, that principle can be justified on the basis of the logic of Leibniz.

This paper is intended to examine the distinction made by Leibniz in Generales Inquisitiones de Analysi Notionum et Veritatum between essential and existential propositions, in order to shed some light on the nature of the analogies that Leibniz proposes between the logical problem of contingency and the geometrical problem of the continuum.

The problem of rational prediction, launched by Wesley Salmon, is without doubt the Achilles heel of the critical method defended by Popper. In this paper, I assess the response given both by Popper and by the popperian Alan Musgrave to this problem. Both responses are inadequate and thus the conclusion of Salmon is reinforced: without appeal to induction, there is no way to make of the practical prediction a rational action. Furthermore, the critical method needs to be vindicated if one (...) pretends that its application is suitable for the preference of a hypothesis. I argue that the nature of this vindication is such that it may be applied also to induction. Thus, to be a popperian is a good reason also to be an inductivist. (shrink)

During the last decades, many cognitive architectures (CAs) have been realized adopting different assumptions about the organization and the representation of their knowledge level. Some of them (e.g. SOAR [35]) adopt a classical symbolic approach, some (e.g. LEABRA[ 48]) are based on a purely connectionist model, while others (e.g. CLARION [59]) adopt a hybrid approach combining connectionist and symbolic representational levels. Additionally, some attempts (e.g. biSOAR) trying to extend the representational capacities of CAs by integrating diagrammatical representations and reasoning are (...) also available [34]. In this paper we propose a reflection on the role that Conceptual Spaces, a framework developed by Peter G¨ardenfors [24] more than fifteen years ago, can play in the current development of the Knowledge Level in Cognitive Systems and Architectures. In particular, we claim that Conceptual Spaces offer a lingua franca that allows to unify and generalize many aspects of the symbolic, sub-symbolic and diagrammatic approaches (by overcoming some of their typical problems) and to integrate them on a common ground. In doing so we extend and detail some of the arguments explored by G¨ardenfors [23] for defending the need of a conceptual, intermediate, representation level between the symbolic and the sub-symbolic one. In particular we focus on the advantages offered by Conceptual Spaces (w.r.t. symbolic and sub-symbolic approaches) in dealing with the problem of compositionality of representations based on typicality traits. Additionally, we argue that Conceptual Spaces could offer a unifying framework for interpreting many kinds of diagrammatic and analogical representations. As a consequence, their adoption could also favor the integration of diagrammatical representation and reasoning in CAs. (shrink)

In this paper we put forward the thesis that qualia are tropes (or qualitons), and not (universal) properties. Further, we maintain that Wittgenstein hints in this direction. We also find in Wittgenstein elements of an account of language acquisition that takes the presence of qualia as an enabling condition. We conclude by pointing out some difficulties of this view.

In Fact, Fiction and Forecast, Nelson Goodman claims that the problem of justifying induction is not something over and above the problem of describing valid induction. Such claim, besides suggesting his commitment to the collapse of the distinction between the context of description and the context of justification, seems to open the possibility that the new riddle of induction could be addressed empirically. Discoveries about psychological preferences for projecting certain classes of objects could function as a criterion for determining which (...) predicates are after all projectible. In this paper, I argue that Goodman's claim must be construed within his project for constructional definitions, which is methodologically oriented by reflective equilibrium. The description of inductive practice is committed to the articulation of the extension of the class selected by the predicate ‘valid induction’. The mutual adjustment between theoretical considerations and inductive practice involved in the proposal of a definition of ‘valid induction’ must preserve that practice as much as possible, there is no way to get rid of entrenchment. Empirical discoveries about the psychological mechanism that underlies projections may help that adjustment but they cannot substitute the role played by the entrenchment of predicates. (shrink)

Why is space 3-dimensional? The fi rst answer to this question, entirely based on Physics, was given by Ehrenfest, in 1917, who showed that the stability requirement for n-dimensional two-body planetary system very strongly constrains space dimensionality, favouring 3-d. This kind of approach will be generically called "stability postulate" throughout this paper and was shown by Tangherlini, in 1963, to be still valid in the framework of general relativity as well as for quantum mechanical hydrogen atom, giving the same constraint (...) for space{dimensionality. In the present work, before criticizing this methodology, a brief discussion has been introduced, aimed at stressing and clarifying some general physical aspects of the problem of how to determine the number of space dimensions. Then, the epistemological consequences of Ehrenfest's methodology are critically reviewed. An alternative procedure to get at the proper number of dimensions, in which the stability postulate - and the implicit singularities in three-dimensional physics - are not an essential part of the argument, is proposed. In this way, the main epistemological problems contained in Ehrenfest's original idea are avoided. The alternative methodology proposed in this paper is realized by obtaining and discussing the n-dimensional quantum theory as expressed in Planck's law, de Broglie relation and the Heisenberg uncertainty relation. As a consequence, it is possible to propose an experiment, based on thermal neutron di raction by crystals, to directly measure space dimensionality. Finally the distinguished role of Maxwell's electromagnetic theory in the determination of space dimensionality is stressed. (shrink)

In this treatise, al-Fārābī refers to mental acquisition of certain elementary principles of knowledge or cognitions that are the primary basis of any demonstrative process; and this means that cognitions, which are in our intellect, are independent of all experience. The innate character of cognitions is treated in his other works, as is their nature, e.g., whether they are content-ideas or dispositio.

In this paper I claim that perceptual discriminatory skills rely on a suitable type of environment as an enabling condition for their exercise. This is because of the constitutive connection between environment and perceptual discriminatory skills, inasmuch as such connection is construed from an ecological approach. The exercise of a discriminatory skill yields knowledge of affordances of objects, properties, or events in the surrounding environment. This is practical knowledge in the first-person perspective. An organism learns to perceive an object by (...) becoming sensitized to its affordances. I call this position ecological disjunctivism. A corollary of this position is that a case of perception and its corresponding case of hallucination—which is similar to the former only in some respects—are different in nature. I show then how the distinguishability problem is addressed by ecological disjunctivism. (shrink)

In actuarial parlance, the price of an insurance policy is considered fair if customers bearing the same risk are charged the same price. The estimate of this fair amount hinges on the expected value obtained by weighting the different claims by their probability. We argue that, historically, this concept of actuarial fairness originates in an Aristotelian principle of justice in exchange (equality in risk). We will examine how this principle was formalized in the 16th century and shaped in life insurance (...) during the following two hundred years, in two different interpretations. The Domatian account of actuarial fairness relied on subjective uncertainty: An agreement on risk was fair if both parties were equally ignorant about the chances of an uncertain event. The objectivist version grounded any agreement on an objective risk estimate drawn from a mortality table. We will show how the objectivist approach collapsed in the market for life annuities during the 18th century, leaving open the question of why we still speak of actuarial fairness as if it were an objective expected value. (shrink)

In this paper, I explore and examine different ways in which affectivity is related to perception within ecological psychology. I assess whether some of those ways compromise the realist and direct aspects of traditional ecological perception. I sustain that they don’t. Affectivity, at least in some cases, turns the perception of fine-grained affordances possible. For an engaged perceiver, affectivity is not optional.

The proposal of moral enhancement as a valuable means to face the environmental, technological and social challenges that threaten the future of humanity has been criticized by a number of authors. One of the main criticisms has been that moral enhancement would diminish our freedom. It has been said that moral enhancement would lead enhanced people to lose their ‘freedom to fall’, that is, it would prevent them from being able to decide to carry out some morally bad actions, and (...) the possibility to desire and carry out these bad actions is an essential ingredient of free will, which would thus be limited or destroyed—or so the argument goes. In this paper we offer an answer to this criticism. We contend that a morally enhanced agent could lose the ‘freedom to fall’ without losing her freedom for two reasons. First, because we do not consider that a morally well-educated person, for whom the ‘freedom to fall’ is a remote option, is less free than an evildoer, and there is no reason to suppose that bioenhancement introduces a significant difference here. Second, because richness in the amount of alternative possibilities of action may be restored if the stated loss is compensated with an improvement in sensitivity and lucidity that can lead to seeing new options and nuances in the remaining possible actions. (shrink)

In this article it is shown that a careful analysis of Kant 's Gedanken von der wahren Schätzung der lebendigen Kräfte und Beurtheilung der Beweise leads to a conclusion that does not match the usually accepted interpretation of Kant 's reasoning in 1747, according to which the young Kant supposedly establishes a relationship between the tridimensionality of space and Newton's law of gravitation. Indeed, it is argued that this text does not yield a satisfactory explanation of space dimensionality, and actually (...) restricts itself to justifying the tridimensionality of extension. (shrink)

In his book, "Perception as a Capacity for Knowledge" (2011), John McDowell advocates that the warrant provided by perception is infallible. For such, it is necessary to understand the role reason plays in the constitution of genuine perceptual states. Based on reason, we situate these states in the logical space of reasoning. So, we not only make the perceptual state into an episode of knowledge, but we also acquire knowledge of how we arrived to that knowledge. McDowell argues that this (...) condition for knowledge - the possession of the capacity to situate a perceptual state in the logical space of reasoning - does not commit him to intellectualism. In this paper, I defend that McDowell's internalism is not entirely exempt from intellectualism, and that internalism is more reasonable not only without intellectualism, but also without reflexivity. (shrink)

Goodman sustentou que o ajuste mútuo entre inferências indutivas particulares e princípios indutivos constitui a única justificação necessária para ambos. Porém, a sua caracterização desse ajuste, posteriormente denominado de “equilíbrio reflexivo”, foi superficial. Isso levantou dúvida sobre a sua adequação. Neste artigo, argumento que o equilíbrio reflexivo, corretamente caracterizado, fornece a única justificação necessária e a melhor que podemos dar para a prática indutiva.

v. 1. As matrizes clássicas originárias -- v. 2. As matrizes da renovação -- v. 3. As matrizes brasileiras.

We defend, from a contractarian perspective, that the fair price of an insurance policy is the amount that the contracting parties agree when they are both equally uncertain about the insured event. Drawing on the approach developed by R. Sugden in _The Community of Advantage_, we answer two standard objections raised against contractarianism in the actuarial sciences: (1) people are not wise enough to assess their actuarial risks; (2) they are not rational enough to decide which insurance policy suits them (...) better. We show under which circumstances people can make fair actuarial agreements, without presupposing any objective risk or rationality benchmarks. (shrink)

Metascientific criteria used for explaining or constraining physical space dimensionality and their historical relationship to prevailing causal systems are discussed. The important contributions by Aristotle, Kant and Ehrenfest to the dimensionality of space problem are considered and shown to be grounded on different causal explanations: causa materialis for Aristotle, causa efficiens for young Kant and an ingenious combination of causa efficiens and causa formalis for Ehrenfest. The prominent and growing rôle played by causa formalis in modern physical approaches to this (...) problem is emphasized. (shrink)

In this paper, I try to articulate and clarify the role of the epistemic authority of experts in Kuhn’s explanation for the transition process between rival paradigms in the scientific revolutionary period. If science progresses, that process should contribute to the attainment of the cognitive aim of science, namely, the articulation of paradigms increasingly successful at the resolution of problems. It is hard to see that process as rational and as attaining the cognitive aim of science without the consideration of (...) epistemic authority.The mistake of Kuhn was to emphasize and clarify insufficiently the role of the epistemic authority of experts; his critics failed for ignoring it altogether. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions of the (...) form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic ALC. (shrink)

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance relations (...) instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

In this paper we propose a computational framework aimed at extending the problem solving capabilities of cognitive artificial agents through the introduction of a novel, goal-directed, dynamic knowledge generation mechanism obtained via a non monotonic reasoning procedure. In particular, the proposed framework relies on the assumption that certain classes of problems cannot be solved by simply learning or injecting new external knowledge in the declarative memory of a cognitive artificial agent but, on the other hand, require a mechanism for the (...) automatic and creative re-framing, or re-formulation, of the available knowledge. We show how such mechanism can be obtained trough a framework of dynamic knowledge generation that is able to tackle the problem of commonsense concept combination. In addition, we show how such a framework can be employed in the field of cognitive architectures in order to overcome situations like the impasse in SOAR by extending the possible options of its subgoaling procedures. (shrink)

The extended mind thesis claims that some mental states and cognitive processes extend onto the environment. Items external to the organism or exploratory actions may constitute in part mental states and cognitive processes. In Clark and Chalmers’ original paper, ‘The Extended Mind’, this thesis receives support from the parity principle and from the active externalism. In their paper, more emphasis is given to the parity principle, which is presented as neutral regarding the nature of cognition. It would be advantageous to (...) maintain that extended mental states and processes do not require a reform of our pre-theoretical view of cognition. In the present paper, I submit that we should give more emphasis on the active externalism, which, I argue, is not neutral regarding the nature of cognition. Cognition is viewed as successful adaptation to a specific task. Although this move may seem at first disadvantageous, it is necessary for the correct understanding and justification of Otto case as an example of extended mental state. Additionally, the parity principle cannot handle Weiskopf’s criticism that information registered in Otto’s notebook is not responsive to reasons. In order to address this criticism, we need to appeal to active externalism and its corresponding view of cognition. (shrink)

The goal of this essay is twofold. First, it provides a quick look at the foundations of modern relational mechanics by tracing its development from Julian Barbour and Bruno Bertotti's original ideas until present-day's pure shape dynamics. Secondly, it discusses the most appropriate metaphysics for pure shape dynamics, showing that relationalism is more of a nuanced thesis rather than an elusive one. The chapter ends with a brief assessment of the prospects of pure shape dynamics in light of quantum physics.

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept (...) combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (shrink)

The paper discusses from a metaphysical standpoint the nature of the dependence relation underpinning the talk of mutual action between material and spatiotemporal structures in general relativity. It is shown that the standard analyses of dependence in terms of causation or grounding are ill-suited for the general relativistic context. Instead, a non-standard analytical framework in terms of structural equation modeling is exploited, which leads to the conclusion that the kind of dependence encoded in the Einstein field equations is a novel (...) one. (shrink)

The foundationalist needs to deal with two fundamental problems: (i) to explain how a justificator grants justification without itself need justification and (ii) to determine the justificator’s epistemic status. Burdzinski (Burdzinski 2007), following Sellars and Bonjour, argues that the perceptive experience could not be a response to the first problem, because if its content was not propositional it would not grant justification and if its content was propositional it would grant justification and would require justification. My proposal is that perceptual (...) experience justifies in virtue of its representational nature. The act of taking the content of a perception by its face value is justified until there is a reason to the contrary, ie, this act is prima facie justified. This forces us to answer the second problem by saying that the basic justificator is not infallible. This falibilist response dislike the skeptic, but it is the best foundationalist answer to epistemic regress. (shrink)

Uno sguardo critico sulle principali caratteristiche della "rivoluzione digitale" e sulle conseguenze letali che si scaricano sui linguaggi e le possibilità della libertà, in tutto l'ordito delle relazioni sociali, delle forme di lavoro e delle forme di vita.